Reference for Bava Batra 28:5
ואידך ההוא מבעי ליה לכדרבי יוחנן ד"ר יוחנן א"ר שמעון בן יוחאי מלמד שהשם וכל כינויו מונחין בארון
— From the same source as R. Huna, who said: What is the meaning of the verse, Which is called by the Name, even the name of the Lord of Hosts that sitteth upon the Cherubim?<span class="x" onmousemove="('comment',' II Sam. VI, 2. ');"><sup>7</sup></span> [The repetition of the word 'name'] teaches that the tables and the fragments of the tables were deposited in the ark. And, what does R. Judah make of these words? — He requires them for the lesson enunciated by R. Johanan, who 'said in the name of R. Simeon b. Yohai: This teaches us that the Name [of four letters] and all the subsidiary names [of God] were deposited in the ark. And does not R. Meir also require the verse for this lesson? — Certainly he does. Whence then does he learn that the fragments of the first tables were deposited in the ark? He learns it from the exposition reported [also] by R. Joseph. For R. Joseph learned: Which thou brakest and thou shalt put them:<span class="x" onmousemove="('comment',' Deut. X, 2. ');"><sup>8</sup></span>